theoremproving system
[计] 定理证明系统
热门查询
- kingdom n. 王国；界；领域 n. (Kingdom)人名；(英)金德姆
- telephonist n. 话务员；接线生
- Hun n. 匈奴人；野蛮人；德国兵
- rabidly 狂暴地 偏激地
- specialised adj. 专门的；特别的（等于specialized） v. 使专门化；专攻；详细说明（specialise的过去分词）
- mortgagee n. [会计] 承受抵押人；押入者贷款人
- overwrite vt. 重写；写得过多；重叠写在…上面 vi. 写得过多或过长 n. 重写；（美）代理佣金
- Hillier adj. 多小山的，多斜坡的( hilly的比较级 )
- fantasized vt. 幻想；想像 vi. 幻想
- booted adj. 穿靴的 v. 踢（boot的过去式和过去分词）；使穿靴
- TURKMENISTAN n. 土库曼斯坦（位于中亚）
- purposefully adv. 有目的地；自觉地
- Orson n. 奥森(m.)
- gipsy n. 吉普赛人（等于gypsy）；流浪汉 n. (Gipsy)人名；(英)吉普赛 vi. 流浪
- humdrum n. 单调；乏味 adj. 单调的；无聊的 vi. 单调乏味地进行
- resonate vt. 共鸣；共振 vi. 共鸣；共振
- overwhelmed v. 受打击，压倒（overwhelm的过去式）；淹没 adj. 受宠若惊的，使不知所措
- fossilize vt. 使成化石；使陈腐 vi. 变成化石；变陈腐；使过时或固定不变；搜集（或发掘）化石标本
- vogue n. 时尚；流行，时髦 adj. 时髦的，流行的 n. (Vogue)人名；(葡)沃格
- unwashed adj. 未洗的，不清洁的；平民百姓的；下层人民的
考试词汇表
- pulse overlapping
- pulse peak height
- pulse persistance
- pulse persistence
- pulse pileup loss
- pulse polarograph
- pulse propagation
- pulse quadrupling
- pulse rate factor
- pulse rate(index)
- pulse regenerator
- pulse restoration
- pulse rising edge
- pulse servosystem
- pulse stimulation
- pulse subtraction
- pulse synthesizer
- pulse time jitter
- pulse top clipper
- pulse train relay
